$\vdash$  $\forall$$a$,$b$:$\mathbb{B}$. (($\uparrow$$a$) $\Leftarrow\!\Rightarrow$ ($\uparrow$$b$)) $\Rightarrow$ ($a$ = $b$)